A Single Proof of Classical Behaviour in Da Costa's Cn Systems

نویسندگان

  • Mauricio Osorio
  • José Abel Castellanos
چکیده

A strong negation in da Costa’s Cn systems can be naturally extended from the strong negation (¬∗) of C1. In [1] Newton da Costa proved the conectives {→, ∧, ∨, ¬∗} in C1 satisfy all schemas and inference rules of classical logic. In the following paper we present a proof that all logics in the Cn herarchy also behave classically as C1. This result tell us the existance of a common property among the paraconsistent family of logics created by da Costa.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Behavioral algebraization of da Costa's C-systems

It is well-known that da Costa’s C-systems of paraconsistent logic do not admit a Blok-Pigozzi algebraization. Still, an algebraic flavored semantics for them has been proposed in the literature, namely using the class of so-called da Costa algebras. However, the precise connection between these semantic structures and the C-systems was never established at the light of the theory of algebraiza...

متن کامل

Shortcut Node Classification for Membrane Residue Curve Maps

comNode classification within Membrane Residue Curves (M-RCMs) currently hinges on Lyapunov’s Theorem and therefore the computation of mathematically complex eigenvalues. This paper presents an alternative criterion for the classification of nodes within M-RCMs based on the total membrane flux at node compositions. This paper demonstrates that for a system exhibiting simple permeation behaviour...

متن کامل

A Single Machine Capacitated Production Planning Problem Under Uncertainty: A Grey Linear Programming Approach

The production planning is an important problem in most of manufacturing systems in practice. Unlike many researches existing in literature, this problem encounters with great uncertainties in parameters and input data. In this paper, a single machine capacitated production planning problem is considered and a linear programming formulation is presented. The production costs are assumed to be u...

متن کامل

Mass Participation Factor in Defining Non-classical Range of Behavior for Mass Isolated Systems

The new techniques in seismic design of structures are usually attributed to high damping ratios. In such systems, the assumption of classical (i.e. proportional) damping is not valid and in most cases they should be considered as Non-classical systems. Since the analytical tools for studying the behavior of such structures are not easily available, the present work attempts to find the limits,...

متن کامل

Mass Participation Factor in Defining Non-classical Range of Behavior for Mass Isolated Systems

The new techniques in seismic design of structures are usually attributed to high damping ratios. In such systems, the assumption of classical (i.e. proportional) damping is not valid and in most cases they should be considered as Non-classical systems. Since the analytical tools for studying the behavior of such structures are not easily available, the present work attempts to find the limits,...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014